module Main () where

import Static

t = D0 DNil

main = do print t
